Construction d'un octogone régulier

Adeleen dit : « Pour construire un octogone régulier, je construis un carré \(\text{ABCD}\) de centre \(\text{O}\), puis je construis le carré \(\text{EFGH}\) image du carré \(\text{ABCD}\) par une rotation de centre \(\text{O}\) et d'angle de mesure \(45°\). Et voilà j'obtiens le polygone \(\text{AEBFCGDH}\), mon octogone régulier. »

1. Réaliser la figure suivant le protocole d'Adeleen à l'aide du fichier de géométrie dynamique suivant.
2. Que peut-on en penser ? Adeleen a-t-elle raison ? Justifier.